<script src="//ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script>
<script async defer src="https://buttons.github.io/buttons.js"></script>
<script src="/scripts/main.js"></script>
<script src="/deps/scripts/prism.js"></script>
<script src="/deps/scripts/collapse.js"></script>
<script src="/deps/scripts/dropdown.js"></script>
<script src="/deps/scripts/lunr.js"></script>
<script src="/scripts/navbar.js"></script>
<% if (current.path[0] === 'ganache' && current.path.length > 1)
{
  if (current.path[1] === 'index')
  { %>
    <script src="/scripts/os-detector.js"></script>
  <% }
} %>
